Representation theorems for Lukasiewicz algebras
نویسندگان
چکیده
منابع مشابه
Lambda Abstraction Algebras: Representation Theorems
Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural L...
متن کاملFree Lukasiewicz implication algebras
Lukasiewicz implication algebras are the {→, 1}-subreducts of MV algebras. They are the algebraic counterpart of SuperLukasiewicz Implicational Logics. We give a description of free Lukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Lukasiewicz implication algebra is isomorphic to ⋃ x∈X [xθ) for a certain congruence θ over the |X|-...
متن کاملInterpretability into Lukasiewicz Algebras
In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we ...
متن کاملProbabilities on Lukasiewicz-Moisil algebras
We define a concept of probability on an n-valued Lukasiewicz-Moisil algebra and we present some basic properties. The main result is an extension theorem for continuous probabilities, which is already known for probabilities defined on Boolean algebras and MV-algebras. © 1998 Elsevier Science Inc. All rights reserved.
متن کاملPreservation Theorems in Lukasiewicz Model Theory
We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1979
ISSN: 0012-365X
DOI: 10.1016/0012-365x(79)90075-x